-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
151	On the Restricted Ordinal Theorem R. L. Goodstein The Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), pp[removed]. Add to Reading List Source URL: hpcn.cse.iitm.ac.in Language: English - Date: 2012-07-24 00:01:30 Ordinal number Constructible universe Function Mathematical induction Primitive recursive function Binomial coefficient Bernoulli number Mathematics Functions and mappings Mathematical logic
152	LOGIC NOTES YIANNIS N. MOSCHOVAKIS Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2012-07-16 04:13:34 Model theory Functions and mappings Formal languages Metalogic First-order logic Interpretation Function Primitive recursive function Constructible universe Mathematics Logic Mathematical logic
153	Complexity Theory Johan H˚ astad Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2009-05-13 03:44:33 Mathematics Mathematical logic Primitive recursive function Computable function Recursively enumerable set Μ operator Computability Function Recursion Computability theory Theory of computation Theoretical computer science
154	Recursive Domains, Indexed Category Theory and Polymorphism Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:48:47 Theory of computation Models of computation Lambda calculus Mathematical logic Denotational semantics Function Categorical logic Topos Domain theory Mathematics Theoretical computer science Applied mathematics
155	[removed] http://research.nii.ac.jp/∼terui/recursive.html I Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2008-04-28 02:20:26 Computability theory Formal methods Models of computation Functions and mappings Logic in computer science Function Peano axioms N1 Turing machine Mathematics Mathematical logic Theoretical computer science
156	A Proof of the Turing-completeness of XSLT and XQuery Stephan Kepser Add to Reading List Source URL: tcl.sfs.uni-tuebingen.de Language: English - Date: 2002-05-13 11:35:09 Computability theory Functional languages Recursion Subroutines Theoretical computer science XQuery XSLT Primitive recursive function Stack Computing Computer programming Software engineering
157	Bird’s Linear Array Notation Handles recursive functions with limit ordinal ω The Linear Array Notation has 5 rules of operation Add to Reading List Source URL: mrob.com Language: English - Date: 2013-02-19 13:21:26 Bracket Array data type Array programming Ordered pair Function Inequality Exponentiation Mathematics Mathematical notation C
158	Closed-form conditions for convergence of the Gaussian kernel-least-mean-square algorithm C´edric Richard(1) , Jose-Carlos M. Bermudez(2) Add to Reading List Source URL: www.cedric-richard.fr Language: English - Date: 2013-04-06 12:54:25 Statistics Mathematics Kernel adaptive filter Gaussian function Matrix Electronic engineering Recursive least squares filter Digital signal processing Signal processing Filter theory
159	paper.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-06-09 03:40:06 Computability theory Functions and mappings Recursion Functional languages Functional programming FP Primitive recursive function Function Standard ML Software engineering Computer programming Computing
160	doi:[removed]j.amc[removed] Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2006-09-06 13:49:44 Computability theory Hypercomputation Computable function Church–Turing thesis Computability Computation Turing machine Super-recursive algorithm Algorithm Theoretical computer science Theory of computation Computer science

UPDATE